#ifndef	__sharertos_cpu_h_
#define __sharertos_cpu_h_
void sharertos_startrun(void);
void sharertos_triggerpendsv(void);
#endif

